Actually, I was just pointing out the tautology B -> (A -> B). If you have B, then sure, A implies B, and not-A also implies B. Although on further considerati

Actually, I was just pointing out the tautology B -> (A -> B). If you have B, then sure, A implies B, and not-A also implies B. Although on further consideration, my previous comment may actually be wrong: "malicious programs" includes ones that attempt to violate the user's right to copy, and recipients who do not have the malicious program Gmail on their computer might not be able to copy or download your messages or attachments.