thirteen − seven =