red75 comments on AI cooperation in practice

[red75]

Ouch. maxsteps means maxprooflenght. My inattention, sorry.