Eventually the informal name was shortened to John Bull and this name was so much more widely used that Stevens fell out of use.
Затем имя сократилось до «Джона Буля», и название «Стивенс» вышло из обращения.