let rec conj_list l = match l with [] -> Ptrue
    | p::tl -> pand (p, conj_list tl)