[teo_zero]

Obligatory reference: http://www.cs.utexas.edu/~EWD/ewd08xx/EWD831.PDF