Re: Moerdijk's talk at CT2014