A Taste of Jensen