correctness view 1