Locking down quantifiers with triggers.