BETA
All Problems of Quantifiers