R.A.M. van Rooij in: Synthese