Show example of BDD-style assertions.