Noncontradiction loading ...