Snider, T. Using Tautologies and Contradictions. SuB 2019, 19, 610-627.