How is a simple predicate a predicate?