Re: Voevodsky on the homotopy lambda calculus