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

That is difficult to say because I don't know Rayo's function very well. Its either A or quite low, like C+.