x
Keyword: quantification