Writing a specification as a test