impl rephrasing