https://invesbrain.com/what-have-workers-done-with-the-time-freed-up-by-commuting-less/