The result of adding a clause to a list in which the it already appears, is not to remove it from the list, but to move it to the end.
ca0feb57e5