More work on proof standards