The specification said
Every item in I is present exactly once in S
and 5 is another item in I, and it's not present in S.
and 5 is another item in I, and it's not present in S.