F←{𝕩⊏˜(1=≠¨)⊸/⊔⊐(1↓-⟜»)¨𝕩}
⟨"abc"⟩≡F ⟨"adc", "wzy", "abc"⟩
⟨"bob"⟩≡F ⟨"aaa", "bob", "ccc", "ddd"⟩
⟨     ⟩≡F ⟨"aaa", "ccc", "ddd"⟩