To be accurate, you're left with undefined. But not really, the taxer actually controls infinite, person paying the tax has to figure out how to divide their infinite up.