?-?-Hexp-(1->?)-?-?-Penf-(1->
