Oneir.....

this would be exactly the same thing as capital punishment. governments differentiate murder and killing. murder is an unjust taking of a life. killing (capital punishment) is considered payment for a crime.

now whether or not you consider the punishment fitting of the crime is another story, but it is not a contradiction anymore than the death penalty today is a contradiction of US law that prohibits murder.