 It is debatable whether this formula should be construed as a definition or as a normative constraint. See Hájek (2003) for some objections to the definitional construal and for further discussion. \(\Cr(X \mid E)\) is often taken as shorthand for the credence in \(X\) that results from conditionalization on \(E\), assuming that the Ratio Formula holds.