Inverse of has direct part. [Allotrope]