select(Element, FirstList, SecondList) is true if and only if we get SecondList by removing Element from FirstList.