Definition of Ex Intervallo