absurdum

not defined yet