Yes: these are post-tax dollars. So actual salaries need to be higher than these numbers!

https://twitter.com/tnorthcutt/status/1401748559133769730