[seren]

Thanks for your input, really interesting topics on your blog as well.

[yoav_hollander]

Thanks. I did a second pass through the policy paper, and put a summary of the verification implications here: https://blog.foretellix.com/2016/09/21/verification-implicat...