(defn inc- [x] (inc (or x 0)))
(defn agc032-C [edges]
  (let [vertex-weight
        (reduce (fn [acc [a b]] (-> acc (update a inc-)
                                        (update b inc-)))
          {} edges)]

    (if (some odd? (vals vertex-weight))
      false
      (let [m (->> vertex-weight
                vals
                (filter (partial < 2))
                (map #(dec (/ % 2))))
            k (reduce + m)]
        (>= k 2)))))
(defn main-acg032-C []
  (let [N (read) M (read)
        edges (doall (take M (repeatedly #(vector (read) (read)))))]
    (println (if (agc032-C edges)
               "Yes" "No"))))
(main-acg032-C)