import Text.Regex
main = do
  s <- getLine
  putStrLn $ aux s

aux :: String -> String
aux str = if (a < b) && (b < c) then "Yes" else "No"
  where
    [a,b,c] = map (\x -> read x :: Int) $ splitRegex (mkRegex " +") str