sf/SmallStep: ⇒-normalizing.