User blog:Wythagoras/My well-definedness-grades