Rule application is "recursive"

[back] [toc] [next]