We note that the Executive Order has been replaced by Executive Order
The Executive Order has been replaced by Executive Order, as we note.