Again, you're massively overthinking this. Then entire point is to not blindly accept things and instead actually evaluate claims. You can do that with domain k

Again, you're massively overthinking this. Then entire point is to not blindly accept things and instead actually evaluate claims. You can do that with domain knowledge you have, which appears to what what you're calling all knowledge. If there exists some kind of knowledge that isn't domain knowledge, I'm sure you could find a use for it too.