Alice loses against Bob. Alice uses a randomized algorithm. Statement: If Alice loses against Bob, with high probability, there is a bug in Alice. (Alice could have been unlucky due to the randomized algorithm.) The statement does not say anything about Bob. Bob could be equally flawed but got lucky.