R roundtablelaw.medium.com Utterly Unpersuasive: Formal Methods and Law (2019) 71 points zeristor 4 years ago 25 comments