def list_conjunction(l):
    """
    Returns an SMT conjunction, given a list of conjuncts
    """
    result = "(and"
    for item in l:
        result += " " + item
    result += ")\n"
    return result