import Control.Applicative

main :: IO ()
main = do
  xs <- (map read . words) <$> getLine
  putStrLn $ solve xs

solve :: [Int] -> String
solve xs
  | ((xs !! 0) < (xs !! 1)) && ((xs !! 1) < (xs !! 2)) = "Yes"
  | otherwise = "No"