Use predicates rather than specifications...