zero_call comments on You’re Entitled to Arguments, But Not (That Particular) Proof