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

Yes, C-, beacause you don't define {a,b(X^^X)3} for example. But it's much better than D :P.