I have been thinking a lot about the purpose of tools. Should they help us get smarter e.g help us with our logical thinking, or should they do the logical thinking for us?