More progress on step_preserves_R