A family has three children. If we have already known that one of them is a girl, then what is the probability that at least there is a boy there?