removed the nested quantifiers code