Some extensions of the Anderson--Belnap (Dwyer--Powers) conjecture for $\mathbf{TW}_\to$, are applied to a set of binary trees.