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:  It is based on the new findings that " no PC submatrix may have a worse inconsistency indicator than the given PC matrix " is an essential simplification of the axiomatization.