M: pref.

[SI] Vedi quantifiers.