Assume that both premises, 'No innocent person should be punished' and 'Socrates is innocent' are true. Then which one of the following options is necessarily true?

• Socrates may not be punished.

• Socrates is not punished.

• It is not proper to punish Socrates

• It is not proper to punish Socrates