?-?-Hexp?P-(1→
