quantifiedtran

What about those quantifiers huh