Fast and loose reasoning is morally correct (ACM SIGPLAN Notices, 2006)

(untitled) - Danielsson, N; Hughes, J; Jansson, P; Gibbons, J