revised mental operator definition (believe)