back Chris Johnson, Index.

Formal Proof Techniques

1. We know that an accident happended.

2. Investigators have a theory that an 
accident will happen IF some conditions

3. THEN we must show that those conditions
did hold if 2 is to explain the accident

4. If we cannot achieve 3 THEN we need
to find another explanation of the failure.