4 ms·Thanks! Yes, with excluded middle is what I meant.by s-phi-nl 10y agoThanks! Yes, with excluded middle is what I meant.