IsA
矛盾