merged Pei2nd: "revised mental operator definition (believe)"