Ousterhout's_dichotomy