Finish documentation, using sketch of final implementation.