Describir: Note about predicate transformers