existential_quantification Copy: existential_quantification has NO comma Hide Show No older revisions available