confutation: evidence that refutes conclusively
disproof: any evidence that helps to establish the falsity of something
cataloged procedure: a set of control statements that have been placed in a library and can be retrieved by name