so proof view 1