yesOrNo :: [Integer] -> [Char]
yesOrNo [a, b, c]
  | a < b < c   = "Yes"
  | otherwise   = "No"

main = do
  s <- getLine
  putStrLn $ YesOrNo $ map read $ words s
~                                         