I agree. I think getting provability right would bring reliability along with it.