On Thu, 26 Feb 2015, Serge E. Hallyn wrote:> Andrew Morgan was against that. What if we changed>> pE' = pP' & (fE | pA)>> to>> if (pA)> pE' = pP' & fE> else> pE' = pP'>Same problem as before. The ambient bits will not be set in pE'.