Title: A history of Jensen