update ProSeminar: