minor change: agents now greet each other