module Main where

import Control.Applicative

getInt :: IO Int
getInt = head <$> getInts

getInts :: IO [Int]
getInts = map read . words <$> getLine

main :: IO ()
main = do
  { [a, b, c] <- getInts
  ; if a < b then if b < c then putStrLn "Yes"
                  else putStrLn "No"
    else putStrLn "No"
  }
