Working (without testing) versions of each predicate