re: #8 Nyet
Ah, almost forgot. His sub-argument was based on what “the President” refers to - he was arguing it can only refer to a sitting President. We can accept this and he still fails, since Trump was impeached as a sitting President, and this further undermines his argument, based on (2), that Trump then would have to be removed, which would allegedly result in a logical contradiction; (2) however refers only to a sitting President.