remove(X).

?- remove(X) -> (remove(X) // remove(X)).
