 Continuing with this example, suppose now that we want to share (or identify) both negations, as well as both implications: this is a reasonable move when, for instance, these connectives are classic. In such case \((\varphi \to_1 \neg_2 \psi)\) would represent the same proposition as \((\varphi \to_2 \neg_1 \psi)\).