Work on polynomials and norm bound.
Start work on complexity proof.