module Main where

    import Debug.Trace
    import Data.Ord
    
    solve :: Int -> Int -> Int -> String
    solve a b c
        | a < b && b < c = "Yes"
        | otherwise = "No"
    
    readLine:: IO [Int]
    readLine = fmap (map read . words) getLine
    
    main :: IO() 
    main = do
        [a, b, c] <- readLine
        let ans = solve a b c
        putStrLn ans
    
