use phpspec