I figured as much. That still seems mildly odd, but that’s probably because I’m used to thinking of them as axiom-ish principles and not as derivative results.
I figured as much. That still seems mildly odd, but that’s probably because I’m used to thinking of them as axiom-ish principles and not as derivative results.