User blog comment:Ubersketch/CNFlex/@comment-35470197-20190908003106/@comment-35470197-20190908013855

Wrong Answer. There is no standard expression corresponding to 3.

Also, the correspondence from ordinals to strings is ill-defined, because you have not fully define or quantify symbols.