#reductio ad absurdum #contradiction proof #logical argument #proving truth