Logic
Swap and manipulate quantifiers in statements. Master quantificational logic and scope.
Master the logic of 'All' and 'Some'.