5.533 The identity sign is therefore not an essential constituent of logical notation.