A general framework for multi-agent systems. The implementation uses extensible effects.