i agree treason is more expansive than just high treason and is not limited to one nationality perhaps some redundancy could be eliminated by linking between articles but i think both articles should be included