$integral dX$ root mean sq [ ENACTS version0 CIPH CSMT RHCondProb ]