Formal democracy