We all are.  It used to be de rigeur to prove that your code was correct.  Now many people don't even bother to test their code thoroughly, let alone prove it correct.