I love this Joseph!

So, I think I’m fine with the fact that the argument runs for possible thoughts and not actual thoughts - for me, this is enough for it to succeed in providing an interesting conclusion.

Also, despite the fact that both possible and actual thoughts are infinite, Cantor showed us that in the mathematical domain you can have smaller and larger infinites. If one wants to restrict their metaphysics of transfinite mathematics to only allow one kind of infinite, that too is fine, but it could prove a costly restriction elsewhere in one’s worldview