[cousin_it]

With excluded middle. This is the explanation that clicked for me: http://stackoverflow.com/questions/24711643/how-come-that-we...

[s-phi-nl]

Thanks! Yes, with excluded middle is what I meant.