Add documentation for lazy