We don't need this function, see comments in engine.clj