EFTA00834259.txt

"From: Vincenzo Iozzo To: "Jeffrey E." <[email protected]> Subject: Fwd: SMT Solvers for legal code Date: Wed, 17 Feb 2016 04:45:32 +0000"

"From: Vincenzo Iozzo Date: February 17, 2016 at 13:43:17 GMT+9 To: Joichi Ito Cc: Alexander Lourie"

"Sandy, for the testing phase I need all your pro bono time though"

"Joi, The ML should do that!"

"what if you used an SMT solver to make your case in court? ... Joi, The ML should do that! I will gladly help both in the building phase and in the te"

"I've been rewriting the language used in the cyber export control stuff for the Wassenaar agreement"