Nisan comments on Controlling Constant Programs

[Nisan]

Oh, I see. I thought proving things about agent() and deciding what to do could be the same thing, but I was wrong.