A World Without Lawyers: Encoding Law for the Internet Age