we write code as text but think hard about all possible effects in the running system after a series of transformations. In other words, we simulate the computer in our head, while sitting in front of a computer—a powerful simulation machine.