Any fixed-rule system can be gamed; and if the rules themselves are gamed, however laudable the reason, the system becomes even more fragile. Gödel's Undecidability Theorem doesn't just apply to mathematics (or maths's red-headed step-child, the computer).