John Harrison: let's make set theory great again! [2018, slides]