"Skolem-functie"@nl . . "3"^^ . . . . . . . .