What is a Teichmüller polynomial?