Added intro text to correctness chapter