⁽³⁾Note that in our notation, the left operand is conjugated.