See more
… The programmer constantly reasons about he behavior of their program, to make sure it does what is intended.