There are only two kinds of quantification
One is called kernel quantification
The other is called other