bit of writing on proof outline