"If", "Unless", and Quantification