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