correctness

3 papers