Erie is a city in the U.S. State of Pennsylvania . It is named after Lake Erie .
The public libraries in Erie are part of the Erie County library system .