3 ms·

Sure, if you restrict yourself to intuitionistic logic... which is odd (to use the most charitable description I can give of it).