, then

is a

"; in other words, "the propositional function 'if all

's are

and