I think we had all agreed on basically this concept in Alexandria, though we've had some difficulty getting the language right.

Except for recursion: I think we could just as well state that this does not include statements that would be included under this rule, and avoid the recursion headache. Is there a particular reason you'd want to apply this recursively?