Technically, by tax code, mining a block is income and would be taxed as such. Not saying he should have done it, but that’s what it is