merged: Pei-2nd: "mental operator definition (believe)"