Remix.run Logo
amelius 2 days ago

I'd love that, but that generalizes the argument, and it does not naturally follow that this is true.

happytoexplain 2 days ago | parent [-]

It doesn't strictly follow, but it very much naturally (or arguably) follows.