I've seen this in my own extended family. $OldFamilyMember died and left some money to $DisabledFamilyMember who would lose benefits if he took it. $DisabledF

I've seen this in my own extended family. $OldFamilyMember died and left some money to $DisabledFamilyMember who would lose benefits if he took it. $DisabledFamilyMember and $OtherHeirs agreed the money would instead go to $UpperMiddleClassFamilyMember who is most responsible and least in need of money. This would be a short path to an infuriating outcome in many families, but in this case, fortunately, the adults involved all acted like adults instead of children. Although legally it was now $UMCFM's money, $UMCFM kept the money in a separate account and would send checks whenever $DisabledFamilyMember reported they were struggling with unexpected expenses (e.g. replacing a dead refrigerator). Years later, the account ran out of money, but AFAIK $UMCFM never informed $DisabledFamilyMember of this fact, and $UMCFM continues to support $DFM's unexpected expenses to this day from $UMCFM's own pocket. Some details changed to protect the privacy of all involved, and other details may not be accurate as I got some of this second- or third-hand, I was still rather young when this situation started, and it's been many years since I've heard anything about this. I can only imagine how infuriating and demoralizing it would be if $UMCFM wasn't there to help out, $DisabledFamilyMember was on their own, and either (a) took the money and lost their benefits, or (b) didn't take the money and then had serious consequences due to lack of money (i.e. having to live without a refrigerator when it broke). There should be some judicial principle or constitutional amendment that says a law can be thrown out if (1) it doesn't make logical sense, and/or (2) it actively defeats its stated objectives. Anyone want to try to write a compiler that can check a legal code for consistency and automatically resolve conflicts by removing laws in a defined order until it's -- I don't quite know if this is the right terminology -- logically satisfiable by a non-empty set of models?