Implemented example laziness.