Replace random constant with the symbolic name (GR prime)