20 − 13 =