IsA
基本前提