Transitivity diss. by Hans Hoekstra