The same conjunct, in the strongest form that survives a move somewhere its variables may be unbound:
A⟨a ≡ c⟩ becomes W⟨a ≡ c⟩, T⟨a : τ⟩ becomes its weak self, and W and U are already that weak.
the weakened conjunct, or undefined for the two that have no weak form and so cannot travel:
B⟨?x⟩, whose weakening !b || b is true, and an edge between two accesses
The same conjunct, in the strongest form that survives a move somewhere its variables may be unbound: A⟨a ≡ c⟩ becomes W⟨a ≡ c⟩, T⟨a : τ⟩ becomes its weak self, and W and U are already that weak.