Hadas Kotek's colloquium at the University of Pennsylvania