lower
Exists
Forall
lowerA
Forall
lowerE
Exists