progress on proof