⁶Vladimir Voevodsky (1966 – 2017).