Dimensional checking