Opacity proof for CaPR+ algorithm