document constraints check