Ignore .out files
Wrote a short paragraph on equiv testing
Add some spacing
Combine equiv testing with intro
Switch order of comparison and QED