refactoring nj_proof I
refactoring nj_proof II
refactoring nj_proof III
refactoring nj_proof IV
change twitter rules