And so now maybe you can see it a little more concretely, we said, OK, whatever this is times the probability that he tries out for catcher, given that he's trying out for the baseball team, that's going to be equal to 42%.