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