I think we agree. I didn't put it as succinctly. Progressive tax. Regressive distribution. That's an excellent way of looking at it.