Contributions of Micha de Vries