add dep/e to model

... in a way that doesn't agree with the implementation,
but might still actually be valid, maybe