Mario was laid off two months ago. He has not searched for other work because he is expecting to be recalled to work. In the U.S. labor force statistics Mario is counted as