P(x,y) = x buffalos y
B = the set of buffalo in Buffalo

The buffalo⁸ statement can be phrased as:
∀a∈B, ∃b∈B:P(b,a)→∃c∈B:P(a,c)

🦬 🦬 🦬 🦬 🦬 🦬 🦬 🦬

— Bill Shillito – now at @solidangles.bsky.social (@solidangles) March 2, 2022