Introduce tests
Migrate an example to a spec