I started to look into the problem that you cannot correctly express in software what you cannot write tests for. This article about the software to be written for the US missile defense system (a project with a $29Bn budget), is fascinating: https://mobile.nytimes.com/1986/09/16/science/software-seen-as-obstacle-in-developing-star-wars.htmlResponse: 1006448031875690496