some phpspec basics