@BernhardWerner @JDHamkins so in a world where a small unary minus means negation, are the left-hand sides of my equations in the picture above equivalent?