Proof Evident