✏️ Editing: for_any_all.py