Before revision:  The new observation (by Szybowski), that " no PC submatrix may have a worse inconsistency indicator than the given PC matrix " is an essential simplification of the axiomatization.
After revision:  The new observation (by Szybowski), that " PC submatrix cannot have a worse inconsistency indicator than the given PC matrix " is an essential simplification of the axiomatization.