Machine assisted rigorous software engineering is an even bigger wealth transfer from unscrupulous people to passionate computer scientists.