20 - 17 =