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. Lewis Carroll, putting $$[(3+7+10)\times(1000-8)]/992-17=3$$ into verse, in Fit the Fifth of The Hunting of the Snark.