> ... you've built a very solid structure for reasoning about programs, but it is too rigid, and too focused. When I read "focused", I thought about deconcentr

> ... you've built a very solid structure for reasoning about programs, but it is too rigid, and too focused. When I read "focused", I thought about deconcentration-of-attention.com . I don't know if it will solve porker's problem, but it is a very interesting read. The idea of the text is that by doing deconcentration of one's attention, it is easier to notice specific details in the whole area the attention is spread over. Meaning, if one deconcentrates one's attention over a whole painting for example, one can more easily find a specific detail on said painting. The alternative to deconcentration of attention would be to scan through the painting with effort. Deconcentration of attention is essentially the reverse of the tunnel effect.