Typo: "Ensures" not "Insures". (nitpick)