Es gibt nur zwei Arten der Quantifizierung
Eine davon nennt sich Kernel-Quantifizierung
Der Andere heißt Andere