add some missing Rightarrow in ch11