User blog comment:Wythagoras/My well-definedness-grades/@comment-2033667-20141007193533/@comment-2033667-20141007194652

What? I'm being serious bro