Part of a larger discussion
<html> <head> </head> <body> <p> The words "ECT has" might just be adding another assumption of the author: in a fully programed module, it might automatically put this in a list of assumptions. </p> <p> </p> <p> I've been debating on if we should have a list of assumptions, or try to work every single assumption into the argument itself as a presupposition, but this seems to show that there are instances where assuming something should be a sideline thing, not always an entirely separate argument to add on to the current argumentation. </p> <p> </p> <p> Then again, this is a reply: specifically, an assumption of the argument, then reductio. It might occasionally need special rules. </p> </body> </html>