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

[Jack]

This is the first I’ve heard of the second.