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