progress on final proof