[JohnHaugeland]

It is not strictly correct, but it is firmly planted in the trenches of programmer linguistic games (qv the jargon file.)