Adding first predicates