% Add the belief received from another agent that its brakes fail.
if bel  (received (A,:failing (brakes, A))) then insert  (failing (brakes, A))
   + delete  (received (A,:failing (brakes, A))).
Algorithm 7