Напрашивается перекодировка всего существующего права с нынешнего якобы-человеческого на жесткий логический язык, где, скажем, невозможно перепутать "исключающее ИЛИ" и "объединяющее ИЛИ", а внутренние противоречия вылезают сразу.
А неустранимый (естественно) человеческий фактор сведется к "прошу уважаемую коллегию решить, стоит ли в данном окошке "ДА" или "НЕТ"" - а все остальное следует из ее решения автоматически.
;-)