premises have to make their predicates