proof.ts 11 KB