I like this because we are using DM for our equation abstraction. I think the dependency loops are due to refusal todecompose the DM.