+new_message : user_said(Message) <- -new_message; .reply(Message).