Contradiction_matrix loading ...