harberger taxes and land-value taxes are in P, Pigou taxes are in NP
a Schelling point for those who seek one
