ok I think I see where you’re going, though many (if not most) of the special cases and properties here seem to be essentially a consequence of each of these sy

ok I think I see where you’re going, though many (if not most) of the special cases and properties here seem to be essentially a consequence of each of these systems. I’ll take a peek at the algorithm which I did admittedly skip, but curious if it gains us something !