Indeed. So there's no small degree of irony in taxing people on their tax funded benefits.