generate onlv statements which a re true under ordinary usage; hence and all the, are uniformly true under or dinary usage, the. arc therefore vacuous variant of, and hence only 'if,' 'then,' and occur essentially in.