Added definition of locus of integrability