Mathematics is much less formally complete and precise than computer programs.