IsA
自明の理