EWD821: From Predicate Transformers to Predicates