Module imandra.u.agents.cogito