Is some $h\in C$, equivalent to target $c$? –> answer is either yes, or algo receives a counter-example.