User blog comment:Superman37891/Explain Rayo please/@comment-5529393-20170622014520/@comment-1605058-20170622124912

It is not a Rayo-name for any number. For that, it would need to be satisfied by exactly one set. If it was only satisfied by {0,1,2,3,4} = 5, then this formula would be a Rayo-name for 5. If it was only satisfied by {0,7}.