A Systematic Approach to СТА 5, I, 1-8 - van Selms, A.