finished disjoint matrices, testing still needed