Lens implementation, work on README.