add example for lazy evaluation