Model existence constraint