This video discusses argument from elimination and how to represent an argument from elimination in Fitch.
No download links available.
