Additivity Theorem, variable description typo

[shotaronowhere]

Additivity Theorem

p - the probability that a juror makes an honest effort to evaluate a case is nonetheless incoherent with the ultimate ruling.

The way the formulas are written, I think the variable is used the opposite of the semantic description. That p is the probability a juror makes an honest effort and is coherent with the ultimate ruling.