User blog comment:Wythagoras/My well-definedness-grades/@comment-4224897-20141007153036/@comment-10429372-20141007155152

Would you put it under C?