The focus on formal methods represents the professionalization of economic system design.