fixed #1 - Use BDD to write the specification