Definition of EX NECESSITATE REI