Construction of logical knowledge: Study of borrowing in substraction.