[dependenttypes]

Civil disobedience, along with civil servants that stopped enforcing an unjust law is the reason that my grandmother was able to escape from Germany in 1938. Saving people by stopping the enforcement of an unjust law is more important than trying to defend the abstract concept of the rule of law. To me this seems like yet another collectivist (where it is ok to sacrifice innocents for the "greater good" - depending on your ruler's definition of greater good) vs individualist (where the rights and freedom of a single person is more important than defending an abstract concept) argument.