Ruffed Quantifier

Steps