[see also: true, valid, hold]
Whether or not this is correct does not matter; we are trying to motivate the proof that follows.
Go to the list of words starting with: a b c d e f g h i j k l m n o p q r s t u v w y z