More work on proof