quantificational logic wffs