Reductio ad absurdum (Latin: "reduction to the absurd") is a form of argument in which a proposition is disproven by following its implications logically to an absurd consequence.[1]
A common type of reductio ad absurdum is proof by contradiction (also called indirect proof), where a proposition is proved true by proving that it is impossible for it to be false. That is to say, if A being false implies that B must also be false and it is known that B is true, then A cannot be false and therefore A is true.
You will have to do your own research. At any rate, it is suspicious that AMY put this article demonstrating vasteful governmental spending on so called research, on it website.