PartiallyApplied
Exists
PartiallyAppliedLowerA
Forall