Marginal changes.
Continue work on proof.