Quantification Theory by J a Faris