RANDOM [AgentColoring]:
null