import Control.Applicative
import Control.Monad

main = do
  [a, b, c] <- map (\x -> read x :: Int) . words <$> getLine
  when (a < b && b < c) $ do putStrLn "Yes"
  unless (a < b && b < c) $ do putStrLn "No"