23 − 20 =