Sam Bowman's colloquium at CMU