User:Buffalobuffalobuffalobuffalo

Axiom: If x is a buffalo, x buffaloes.

Corollary: Buffalo buffalo buffalo buffalo.