jacquesthibs comments on jacquesthibs’s Shortform

[jacquesthibs]

Ok, totally; there’s no specific claim about ASI. Will edit the wording.