dependency analysis

It shows that we can solve equations on demand