If universal statements had this form, then we could regard basic statements (those that contradict, or agree with, the universal statement) as elements of a sequence of statements the sequence to be taken for the universal statement.