Subtraction within 20 using Strategies and Properties