ABSTRACT
B Every single procedure and function checks the sanity of its arguments and refuses to continue when the arguments are unreasonable, jumping out of the function.
B When calling out other functions, program functions only check for errors if they are in a position to react meaningfully.
