2 ms·

There's no point in killing him. He's done his damage; punishing him by letting him rot in prison is worse.