true. belief(tom,'denounced','cicero','cataline',now). true noprotocol.