Naming : Absolute, absolutely, relatively
This issue is here just to make sure that everyone agrees with the new names and notations (and to choose other ones, as I am sure you will not agree).
So:
-
monPred_all
becomesmonPred_absolutely
, written∀ᵢ P
-
monPred_ex
becomesmonPred_relatively
, written∃ᵢ P
-
Objective
becomesAbsolute
Just to be clear: it took these names because something had to be chosen to make progress, and because there was objections about the previous names. No decision is taken, and anyone should feel free to contest.