in the form of (2)
an infinite number of (1)
of the existence of (1)