Dimensional Verification