Why later?
I disagree with the way you put it. Logic after all is also vulnerable to common knowledge which can be wrong. You shouldn't make such definitive statements and anything is possible. Everything we know, for example, can be disproven at any time. So while yes, with the guidelines already set there are definitely several impossible ideas, we can't say for sure our rules are actually correct in the first place. All we are doing is assuming.
I disagree with the way you put it. Logic after all is also vulnerable to common knowledge which can be wrong. You shouldn't make such definitive statements and anything is possible. Everything we know, for example, can be disproven at any time. So while yes, with the guidelines already set there are definitely several impossible ideas, we can't say for sure our rules are actually correct in the first place. All we are doing is assuming.