Contributions by G. den Decker