I really wish the president had mentioned that on Medal of Freedom day.