judge_range :: [Integer] -> String
judge_range l
    | l !! 0 < l !! 1 && l !! 1 < l !! 2 = "Yes"
    | otherwise                               = "No"

main = do
    given_str <- getLine
    putStrLn ((judge_range . map read . words) given_str)