Nitpick: the two conditionals also be equal if A and Guilt were mutually exclusive. (in that case, of course, the two conditionals would be both zero)
Nitpick: the two conditionals also be equal if A and Guilt were mutually exclusive. (in that case, of course, the two conditionals would be both zero)