20 − thirteen =