The craftsman, who wishes to do his work well, must first sharpen his tools.