@FineAdditionToCollection: BUR #22394 has been approved by @nonamethanks. ...

FineAdditionToCollection
2024-01-10T23:14:11-05:00

BUR #22394 has been approved by @nonamethanks.

create alias middle_split -> straddle_split
create implication straddle_split -> split

Straddle splits is also often called Middle splits.

As for the implication, straddle split (straddle splits) is also a variant of splits (split), which itself requires flexibility.