proof view 3