[math-fun] deflategate