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 " no PC submatrix may have a worse inconsistency indicator than the PC matrix containing it " is an essential simplification of the axiomatization.