For two sequences \(\lbrace \alpha ,\beta \rbrace \nvDash \epsilon \)  iff there is a filesystem
on which both \(\alpha \)  and \(\beta \)  are defined.
With an eye on rewriting systems [1]}, such a pair is called
refluent.
