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