Agent Theories are used to model applications