Thirteen decreased by a number a