stringToInt :: String -> Int
stringToInt = read

yesOrNo :: (Ord a) => a -> a -> a -> String
yesOrNo a b c
    | a < b && b < c = "Yes"
    | otherwise = "No"

main = do
    line <- getLine
    let [a, b, c] = map stringToInt $ words line
    putStrLn $ yesOrNo a b c

