[see also: true, valid, hold
Whether or not this is correct does not matter; we are trying to motivate the proof that follows.