Equal prefixes paths whose first two elements are identical with 1, and all other paths with 0.

Equal: <> == 0 Idem <$x $x> == 1 Idem. Equal:<a b c> = 0 a b c. Equal:<b b c> = 1 b b c.