Definition for reductio ad absurdum