TDD katas with phpspec