0.00/0.90 MAYBE 0.00/0.90 0.00/0.90 Problem: 0.00/0.90 not(x) -> false() <= x = true() 0.00/0.90 not(x) -> true() <= x = false() 0.00/0.90 0.00/0.90 Proof: 0.00/0.90 ConCon could not decide confluence of the system. 0.00/0.90 \cite{SMI95}, Corollary 4.7 or 5.3 do not apply. 0.00/0.90 Some of the 2 critical pairs are not trivial and ConCon could not decide whether those all are infeasible. 0.00/0.90 CP: false() = true() <= x = false(), x = true(): 0.00/0.90 ConCon could not decide infeasibility of this critical pair. 0.00/0.90 0.00/0.93 EOF