lean_flox kbg is following