User blog comment:Wythagoras/My well-definedness-grades/@comment-1605058-20141007152447

Which grade would Rayo function fall into?