Classes

Exists rule.
Unique rule.