> also observe that the purpose of the tax is not strictly to raise revenue, but to address what would otherwise be an externalized cost and make the housing market more efficient.

In a time and place where we can deficit spend well, and more demand unlocks more growth, this should be the primary purpose of most taxation.