Predicates

All tests pass.