Keywords = Integral condition