The pen that he lost is red____ ____is red?