for known reasons the operator name has been omitted