Isn't this just "candidate contains existing"?