I don't need to “hope” for anything. All I have to do is document the program's preconditions.