Keywords = Dokdo implicative ideal