Rayo's function