import Control.Applicative

f :: Int -> Int -> Int -> String
f a b c
    | a < b && b < c = "Yes"
    | otherwise      = "No"

main :: IO ()
main = do
    [a,b,c] <- map read . words <$> getLine
    putStrLn $ f a b c
