Gotta go draw now: an interview with Richard Lipton · Type Network