Inverse of has proper part. [Allotrope]