$RTX The market capitalization has changed, and the circulation is only 16.66 million? So it indeed opened low yesterday.