to think is to do mental exercise