Proof Size Doesn't Matter