must be true.

An example in English:
:Socrates is a man.
:Therefore, Socrates is a man or pigs are flying in formation over the English Channel.

The rule can be expressed as:
:

where the rule is that whenever instances of "" appear on lines of a proof, "" can be placed on a subsequent line.

More generally it's also a simple valid argument form, this means that if the premise