{ satisfiable } <>conj (c, <>c, []<>c)