(COND ( (EQ (CAR LST) 12) T )
         (  T  NIL )
   )