Finished the backward traceability matrices