remove(X).

paths2 :- remove(X) -> (remove(X) // remove(X)).

?- remove(X).
