4 ms·

I believe that "tools for thought" as a phrase comes from Ken Iverson's "Notation as a tool for thought" paper.