Rule objects are introduced.

A trick for simplifying.