Douglas_Knight3 comments on Underconstrained Abstractions

[Douglas_Knight3]

Didn’t Robin say in another thread that the rule is that only stars are allowed to be bold? can anyone find this line?