predicates

Writing these predicates is awful.