Vstate.logK F_%