[davidgerard]

pretty much, yes. And that it's not just Buterin, it's a type, and he learned this error from this type.