Division can fail, but I can write a program where I'm sure division will not fail.