Description: Equivalent expressions with existential quantification. (Contributed by Peter Mazsa, 2-May-2021)