The probability that he is in the library is 80%, which means that the probability that he is in a library is 10%, and the probability that he is not in the library is 20%. In fact, he is not in Library Seven, so he is either in Library Eight or outside, so the probability of being in Library Eight is p = 10%/( 10%+20.