add inverses to K folding