Some examples of TDD Spock