That is exactly how it should turn out.

The hard fork was ethereum's failure as a result of the technical inability to roll back the transactions the proper way (i.e., by just undoing the redactions themselves) and the tax law shouldn't be changed just for that.