Yep, I guess you just need to put this in a loop though. But yeah, this would be an infinite loop. That's why I'm saying that computing this accurately might actually be impossible for an objected of limited size to have the computing power to resolve such question reliably without some "manually written in" escape for such situations. In this case, it will come up with a result, but this result might not actually be "true" or the proper reaction to the statement, just some default option to protect it from infinite regressions.