Quantificational Logic - Search