finished first proof