main = do
    line <- getLine
    let n = words line
        a = read $ n !! 0
        b = read $ n !! 1
        c = read $ n !! 2
    putStrLn $ calc a b c

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