using conjunctive graph