thirteen − three =