Added Checking Coordination Freedom note