the existence of a (2)
in the case of (1)