Why Our Programs Work