Így. Kapjanak egy matematikailag igazolható formális leíró nyelvet. Csak mintha sehol sem lenne cél teljes és konzisztens jogszabály halmazt alkotni, sőt. Külön vicces amikor friss jogszabály egyetlen vessző hibája máris mindkét fél szempontjából a maga igazára formálhatóvá teszi. De amúgy nem hülyeség az AI, mert azzal a sok szabad szöveges cucc és azok korábbi értelmezései feldolgozhatóvá válnak, és ha nem is lesz matematikailag helyes, sokkal közelebb lesz hozzá, mintha pár tíz, silókban dolgozó/gondolkodó alkotótól várnánk ugyanezt.