ツールの正しさは有用性