zero arity predicates added