Add make_conjunction
Use make_conjunction