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