I do not have the time to argue my case anymore, but if they were forgiven; they were forgiven and should not have been punished. Also at that logic every rdm should be slain whether forgiven or not because ultimately it removes one more innocent/detective from having the possibility to defeat the traitors later in the game.