Where does the following come from: If a man has destroyed the eye of a free man, his own eye shall be destroyed.