Are rules recursive?

Right.

And I should be more careful with the use of "reentrancy" to describe the behaviour as the app author points out in this post.