I didn't say Yaron Minsky pushed OCaml because he wanted to learn it. I said it was because he liked it. Still, the distinction isn't important to the point I was trying to make.