Changed quantifier application: Only original inputs are used as
universal quantifiers