"canonical" Average operator diagram