I didn't see a definition for ex absurdum quodlibet.