Added let example to example_spec