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 && b < c then putStrLn "Yes"
    else putStrLn "No"
  }

