Guarding all quantifiers with triggers.