∀LG∃BRA
ρρ ◈ φ ◈ λφ ◈ γ
by John Wadsworth