A mathematical framework for modelling dynamic systems, agentic systems, and their interactions, without appealing to either utility functions or maximisation, plus some applications to AI safety.