pdf23ds comments on Dreams of Friendliness

[pdf23ds]

And a believe the answer to Lara’s 2 is, in part, “theorem provers”.