Contributions of Jan Cirpka