software Programmers need to understand the world in advance Programmers need to be able to describe the world in formal logic The world needs not to change or the chan

{PATH}