Correct. You round 12 down to 10 and 22 down to 20.