[math-fun] GrayLife?