Updating: adding an example of lazy evaluation