?-?-Hexp?P-(1->
