EDEN is the Engine for DEfinitive Notations. It is the primary software tool of the Empirical Modelling research group. We build models with it, using a variety of definitive notations that it implements.