formally correct view 2