Updating: adding examples of some lazy-evaluation
Updating: merging