Text this: Note about predicate transformers