Title: An essentially English type