The graph-theoretic algorithms necessary to puzzle out polyamorous marriage contracts are going to be somewhat irritating to explain to the legal folks...