Playing with phpspec