Use phpspec directly