In The Hunting of the Snark, the Butcher confirms for the Beaver that Two and One are Three:
Taking Three as the subject to reason about–
A convenient number to state–
We add Seven, and Ten, and then multiply out
By One Thousand diminished by Eight.
The result we proceed to divide, as you see,
By Nine Hundred and Ninety and Two:
Then subtract Seventeen, and the answer must be
Exactly and perfectly true.
Fittingly for Carroll, the math works: