One final pass with more sentences around theorems to explain their significant. Done!