added support for universal quantifier