M: pref.

[SI] See quantifiers.