module Main (main) where

import Data.Functor ((<$>))

main :: IO ()
main = do
  [a,b,c] <- map read . words <$> getLine :: IO [Int]
  if a < b && b < c
    then putStrLn "Yes"
    else putStrLn "No"

