impl reasm rephrased