neilkakkar comments on Taking Ideas Seriously is Hard

[neilkakkar]

Indeed, I meant the latter interpretation.