'agent1:received'(agent2,add([2,3,4])) .
'agent1:received'(i,shutdown) .
