Extenics in Higher ...