أرسل هذا في رسالة قصيرة: Note about predicate transformers