Text this: Moving a Derivation Along a Derivation Preserves the Spine in Adhesive Categories