Lazy::run