Quantified WFF’s – Equivalences