import Control.Applicative
main = solve

solve = do
    n <- fmap (read :: String -> Int) . words <$> getLine
    let a = n !! 0
        b = n !! 1
        c = n !! 2
    putResult a b c
    where
        putResult :: Int -> Int -> Int -> IO ()
        putResult a b c
            | a < b && b < c = putStrLn "Yes"
            | otherwise = putStrLn "No"