What matters even more is total productivity per citizen. It does not matter if a house is built by 20 builders with shovels or 5 builders with excavators. What matters is the house being built. And productivity per worker has massively risen and is, in my opinion, going to rise further.