“Programmers are not mathematicians, no matter how much we wish and wish for it.”