Cosmetic change, predicate([]) ---> predicate