module Main where

import Data.Functor

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

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