the existence of a (1)
is at the same (1)
in the form of (1)
in the case of (1)
of the existence of (2)