Initial version.
One step updates and the start of proof of convergence.