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