[math-fun] Comment on Sengai. Possible Quadruple Miracle?