A unit
A unit rule is a rule of the form