Ex hypothesi (1)