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