Full details of Ad absurdum