How a reductio ad absurdum works/non-aggression