IsA
自己矛盾