Pick propositions and save; you will write the inference text on the next screen — publish once it reads right.
Proposition 28 ([Purely geometric paths]). An arbitrarily long reduced chain cannot have exclusively geometric two-edge shortcuts. This includes strict split/equal-type merge shortcuts.