Question: What is the formal name of the Interstate Highway System?
Sentence: Commemorative signs reading "Eisenhower Interstate System" and bearing Eisenhower's permanent 5-star rank insignia were introduced in 1993 and are currently displayed throughout the Interstate System.
Answer in sentence: no