Ultima Ratio: Should Hamlet kill Claudius?