Document Rule.

This fixes #77.