https://www.nytimes.com/2017/10/06/obituaries/vladimir-voevodsky-revolutionary-mathematician-dies-at-51.html?_r=0
(c) Robert Harper All Rights Reserved.