Egan at Jason Evanish's talk