Leate_Wonceslace, 1 year ago

Fred.

(∀x:Number(x)=T)(Name(x)=“Fred”)

I name every number Fred.