You lost that bet, because I did in fact know what a ha-ha is. It's in Tristam Shandy, I think. Abusive comment hidden. (Show it anyway.)
