How to punish for treason?