main :: IO()
main = do
  input <- getLine
  let nums = map (\x -> read x :: Int) $ words input
  putStrLn $ judge nums

judge :: [Int] -> String
judge nums = if all id $ zipWith (<) nums $ tail nums
             then "Yes"
             else "No"