[math-fun] Name that construction set