Buggy implementation of conditional probability statements