I honestly think that Mike was wrongly demoted. Even what he did was wrong, who doesn't make mistakes. Plus it's for 2 RG Members, like why the fuck are you guys overreacting so much?
In the end, it's a simple mistake with a hundred consequences.
Plus, if you are going to view logs, and look at the full extend of the rules, then everyone would get demoted, but it might prove that Techno didn't do anything bad enough to get demoted (Considering that you'll be lenient of the rules as you were before). Finally, you even relimited the users that techno got demoted for.