[math-fun] Poncelet's porism overpush?