[math-fun] Gary Antonick is edging away from the following bonus puzzle