so proof view 2