An arbitrary predicate of A.