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

[Ramana Kumar]

while $h_i^{\prime }:B_{1-i}\times E_{1-i}\to B_i\times E_i$ is given by $h_i^{\prime }(b,e)=({\iota }_{1-i},h_i(e\left)\right)$

${\iota }_{1-i}$ should be applied to $b$ above, I think

[Scott Garrabrant]

Fixed, thanks.