import Control.Applicative

testOrder :: Int -> Int -> Int -> Bool

testOrder a b c
    | a < b && b < c
        = True
        
    | otherwise
        = False
    
solve :: [Int] -> Bool

solve input
    = testOrder a b c where
        a = input !! 0
        b = input !! 1
        c = input !! 2

output :: Bool -> String

output True
    = "Yes"
    
output False
    = "No"
    
main :: IO ()
    
main
    = do
        input <- map read.words <$> getLine
        putStrLn $ output $ solve input