Definition of Ex Hypothesi