Functional Logic : Quantification Theory