Scott Garrabrant comments on Committing, Assuming, Externalizing, and Internalizing

[Scott Garrabrant]

I think $B=\left\{\right\{u,n\left\}\right\}$.

[Rohin Shah]

Oh yup I was misinterpreting how B was defined, and that would also mess up my proof. Thanks!