import Data.List.Split

main = do line <- getLine
          putStrLn $ range line

range :: String -> String
range line
  | a < b && b < c = "Yes"
  | otherwise = "No"
  where splited = splitOn " " line
        a = read $ splited!!0 :: Int
        b = read $ splited!!1 :: Int
        c = read $ splited!!2 :: Int