Red Card or Jack Probability