Red card probability