a tool is for correcting something.