[math-fun] Ice-19