we can instantiate the existential quantifier, if we know that the duration will be \(t^+\);
Ik ben heel benieuwd naar jouw mening, laat het me weten in de comments! •••••••••••••••••••••••••••••••••••••••••••••