Yes, then there is no way to elevate Bob above Alice, but in practice I think the assumption of external indistinguishability is too strong, and even the suspicion that Alice is sketchy (i.e. without hard proof) is meaningful.