https://9lib.org/document/yd7egn7e-jeremy-avigad-department-philosophy-carnegie-mellon-university-andrew.html