formally correct view 3