Work on proofs and presentation.
Work on report.