Translated 95% check and proof it

Translated 95% check and proof it