Implemented up to contains-duplicates?