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?

A

Socrates may not be punished.

B

Socrates is not punished.

C

It is not proper to punish Socrates.

D

Socrates should not be punished.