Note that we do not need uniqueness in the existential claim in order to be able to perform Skolemisation.)
Ik ben heel benieuwd naar jouw mening, laat het me weten in de comments! •••••••••••••••••••••••••••••••••••••••••••••