20 - 17 = ?