let dim n = Cube.dim n.cube