Implement clique-based lower bound