4 ms·

Thanks for the clarification. I was indeed a bit confused by some of the implicit assumptions as an intuitionist myself.