Use of indirect addition in adults' mental subtraction in the number domain up to 1,000.