fixing the order or adding quantifiers.