Defining agents

TODO introduction.