It was after twenty to eight when my shell greeted me with a fortune: Real software engineers don't debug programs, they verify correctness. This process doesn't necessarily involve execution of anything on a computer, except perhaps a Correctness Verification Aid package. dc -e 190255481098402710943110482375361627073546484426639878467576586P ^------------------[e-mail of mine, dc(1) to reveal]-----------------^ ___ ___ (___) (___) _ _ _ _ _____ | | | | | | | | ___ | \ V /| |_ _| |_| ____| \_(_____|_____)_____)