Notes from Alistair Smith talk