Definition of Ex Praemisses