Comment by libeclipse

It would tell you that the system is inconsistent