[ebingdom]

> Reasoning About Software

What's wrong with this? I need a way to describe techniques that make it easier to...well I don't even know another way to say it. Maybe I'm biased by my experience in formal verification, a field in which it's expected that you can formally study a program's behavior.

[turing_complete]

It should be replaced with the more accurate term 'handwaving about software'.