I wonder what should be done with the contradiction tag. Some time ago it has been proposed to be deleted.
A possible worthwhile use of the tag could be using it for questions about the logic behind a proof by contradiction (e.g. this or this), instead of questions about a particular proof by contradiction. But perhaps that would make it a very localised tag.
Shall we delete contradiction?
I have suggested burninating here.