formally correct view 1