Dimension/Surface Checking Machines