Email Record: Quantification in nonclassical logic /