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