 If the O-form means the double-judgement “There is an S and it is not P”, then the proposition “Every S is P,” says that anyone who makes both of those judgements is judging falsely. (PES 298 [II 168; SVS 1, 416])