Text this: Soundness of Unravelings for Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity