Why code that never goes wrong can still be wrong
pathsensitive.com