Full Proofs ( Password Protected )