3 ms·

I think strictly speaking, _|_ isn't a contradiction, it's an absurdity. (x, x -> _|_) is a contradiction.

• jules 14y ago
  Ah I see, that's where the terminological differences came from.