e.proof.rules.¶
e.proof.rules. is a match pattern, never a code. It selects every code below it, including ones minted after your handler was written.
Codes under this prefix¶
e.proof.rules.said.f— That rules block doesn't address itself, so I stopped rather than quietly relabelling it.