Slight rearrangement for clean rules