added: Quantification example (working! :) )