Definition of Ex Necessitate