Something that might happen as a consequence of writing a program is the program works.