In this paper is the ISM `bordering theorem' reworked and completed, following its first appearance in incomplete form in 1974. Topical subdivisions within the article:
Binary-Matrix Model
Implication-Matrix Model
Relating Binary-Matrix Models to Boolean Algebraic Models
Interconnection Theory
Self-Implication for X
The Implication Structure followed by an Example illustrating various results obtained in the foregoing
Inference Opportunity, Counting in Vectors, Special Cases
(r.w. Jan 8, 2018)