What Names Is Ted Short For