Overhaul
Created by: leonweber
- Fixed discrepancies between text and summary table. I ommitted the obvious results (provability of T3 and counter-satisfiability of MC) and I also didn't mention the counter-satisfiability of A2' in AOE'. Do you think we should mention the last one?
- Added figure depicting Anderson's simplification. Here I am not sure which naming convention would apply to the definition of positive. What do you think?
- Moved definitions from footnotes into text. This may need some further shifting around for cosmetic reasons.