So the consequences for programing are, we need to concentrate on defining theories for our high level data structures, and to define useful theories we should disregard or at least minimize mutations, state changes. 