?-?-Hexp(1->
