Prepare BDD
Add an example
Implement