A formalized Reddit backend. Foundation for a [linguisto-?]computational law[government?].