I can't lift a car, unless I use a jack. Mathematicians use theorem provers. Software developers use IDEs. Programmers would be pretty screwed if their keyboards had a 0 and a 1 on them and nothing else. Tools evolve.