6

Skolem Constants and Functions Can Handle "exists"