Added first draft of the System Correctness section