How do i reduce this statement to reductio ad absurdum all propositions are true?