As a software engineer I see the dangers of a nominally exhaustively-specified system. Where people would spend their lives in jail or go free depending on whet

As a software engineer I see the dangers of a nominally exhaustively-specified system. Where people would spend their lives in jail or go free depending on whether a majority of legislators had considered that particular edge case. It’s better than judges have some discretion.