Cutting fluids are used while honing. The mineral oil commonly used in machining operations is diluted in proportion of one part of oil with four parts of ________ before it is used for honing