WhatLinksHere/WhatLinksHere/How a reductio ad absurdum works