CLASP seminar: Zhaohui Luo – MTT-semantics Is Both Model-theoretic and Proof-theoretic