A
Exists
apply
Exists
PartiallyApplied
Forall
PartiallyAppliedLowerA