Now we can write an expression equivalent to //B(->A)+ Along with the proof, Marx (2005, Theorem 2) provides a method for finding the complement of any X + path set.
we now have a concrete method for translating L + expressions into X + .