GSW: added some introduction to quantifiers.  Could be better, but that'll do :)