add expr function and explain of lazy evaluation