Conservative Correctness view 2