IsA
前後矛盾