User blog comment:Wythagoras/My well-definedness-grades/@comment-4224897-20141007153036/@comment-1605058-20141007170128

It took me a second to find what's the difference between definitions of C and C- grades :P