7

Skolem Constants and Functions Can Handle "exists" 2