Updated BasicExample.
Made it clearer and removed dependence on lazy stuff.