import Control.Applicative

main = do
  [a, b, c] <- map read . words <$> getLine
  putStrLn $ solve a b c 

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