Ramana Kumar comments on Committing, Assuming, Externalizing, and Internalizing

[Ramana Kumar]

Claim: For all $F\subseteq E$, ${\text{Assume}}^F\left(C\right){◃}_{+}^{\ast }C$ and ${\text{Assume}}^{\setminus F}\left(C\right){◃}_{+}^{\ast }C$.

Are these the wrong way around?

I believe $C{◃}_{+}^{\ast }{Assume}^F\left(C\right)$ is indeed trivial, but the opposite is less obvious.

[Scott Garrabrant]

Fixed, Thanks.

[Ramana Kumar]

This is also suspicious in section 2.2 about Assuming. I think it should be the other way around and about Assume rather than Commit, and I don’t think that’s equivalent to what’s written here. (But I’m not confident about this.)

Claim: For all $S\subseteq W$, ${\text{Commit}}_S\left(C\right){◃}_{+}^{\ast }C$ and ${\text{Commit}}_{\setminus S}\left(C\right){◃}_{+}^{\ast }C$.

[Ramana Kumar]

Oh I see this has also been fixed. Thanks!