Koryuanna and Brian Proofs