Added exist, universal-set.
Linking existence to universal-set.