import Control.Applicative
main = do
  [a,b,c] <- (map read . words) <$> getLine
  putStrLn $ judge a b c

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