Example for model-level BDD using a mock