20 − 7 =