20 − twelve =