Overview: Subtraction and fact families