Consider the following languages
L1={<M>∣M is a single tape TM that on any input x does not change the input portion of the tape}
L2={<M>∣M is a single tape TM that on any input x does not change any portion of the tape}
Which of the following is correct?