introduce Correctness section
introduce Empirical Correctness section
move User Guide stub to after References