Văn bản này: Note about predicate transformers