.-g * rfl?