Okay, I see where you're coming from now. (1) may or may not be true. Understanding that we cannot trust (1), but that we don't care to verify it, then the 5 i

Okay, I see where you're coming from now. (1) may or may not be true. Understanding that we cannot trust (1), but that we don't care to verify it, then the 5 is necessary to prove (2). That is much more subtle than I originally interpreted from you original post. Thanks for your patient explanation.