Notes for FindLockedCandidates1