@admitsWrongIfProven@qoto.org i’m sure that’s right, but i suspect even by their own definitions, the proposition often holds.