tools are an aid to man's work