-- 1_2_B
main = do ns <- getLine
          let [a, b, c] = map (\x -> read x :: Int) $ words ns
          putStrLn $ if a < b && b < c
                        then "Yes"
                        else "No"