read proof