A rule is a type of shell with the following features.

• It labels itself as a "rule" using the attribute the LDE respects for rules of inference, so that validation will treat it as one.
• It marks itself as a given, which the LDE requires for rules.