Recursive rules now faster in general. ^__^