Surely if all the legal luminaries of HN banded together we could rewrite the constitution in a statically strong typed language and formal verify it.