answer :: Int -> Int -> Int -> String
answer a b c
  | a < b && b < c = "Yes"
  | otherwise = "No"

main = do
  hoge <- getLine
  let a = head $ words hoge
      b = head $ tail $ words hoge
      c = last $ words hoge
  putStrLn $ answer (read a) (read b) (read c)
