advance proof some more