RAAThis is what I wanted!
Proof method where negating a proposition leads to a contradiction.
Does "RAA" stand for something else?