module Main where

import Data.Functor

main :: IO ()
main = do
  { [a,b,c] <- getInts
  ; let result = junban (a,b,c)
  ; putStrLn result
  }

junban :: (Int,Int,Int) -> String
junban (x,y,z)
  | x < y && y < z = "Yes"
  | otherwise      = "No"

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