https://bitcointalk.org/index.php?topic=1786.msg22119#msg22119 covers some details on the topic of context-free and monotonic validity.