"Beware: this code has not been tested, only proved correct”

Autor: 
Donald Knuth