We shall follow the notation in [3] for matrix entries and for submatrices, and shall paraphrase the notation in [3] regarding congruences and “subcongruences” to make it applicable, respectively,to conjunctivities and “subconjunctivities.” Our notation for submatrices is derived from that in [8, pp. lo-111 and will be consistent with the latter provided that, as we may always do, we think of each nonempty subset M of the set