You know you’re on vacation with a bunch of nerds when . . .

. . . after a dinner of pizza (two types, homemade—even the crust and sauce—by yours truly’s brother), you ask “did we even eat one whole pizza?” and the answer, after lengthy and heated discussion is “Not quite. We ate only 77/80 of one pizza.”