Rohin Shah comments on Committing, Assuming, Externalizing, and Internalizing

[Rohin Shah]

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