@biggerj: Dein Einwand überzeugt mich gar nicht, oder ich verstehe ihn überhaupt nicht. Mir geht es hier einen Unterschied etwa wie zwischen einer beispielhaften und einer abschließenden Aufzählung. Formal würde wohl ein Allquantor dahingehören.-- jbn 16:19, 2. Nov. 2013 (CET)