[math-fun] Petersen's booboo