PS: it is the oldest email I have from him with the word "univalent" or "univalence" in it.