Law_of_noncontradiction loading ...