About Quantifiers Frame
Deleting Quantifiers