Translate this sentence into formal language using conjunction, negation, or disjunction. Use the suggested constants: R = Christopher wants the Reds to win a wild card.