20 − 17 =