started on proof