article: getting started with phpspec