I have a scifi setting sketched in my head, it's a society where the entire law system is formally verifiable and sound, turns out it's so hard to add new laws that they don't have any law at all