Added a new example that demonstrates the expressive power of quantification.
Merge remote-tracking branch 'upstream/master'
Fixed bug identified by Lucas Wagner.
Merge pull request #1 from chaosape/master

A patch for Lucas's bug.