VSW: updated the exercises in the reasoning chapter.  probably, they all need to go into the specification chapter.