Add anarchy-proof codes
Add some proof
Simplify