https://erictsiliacos.medium.com/programming-as-theory-building-by-peter-naur-an-excerpt-482d9171651c