read proof

read proof