BDD example used in class