Fail proof is invalid.