IsA
論証