modified the K in RightInstance1