∀LG∃BRA
ρρ ◈ φ ◈ λφ ◈ γ