fixed sample proof 2, sample proof 3 in progress