Clique definition with source. NP-complete proof source