main :: IO ()
main = do
    str <- getLine
    let inputs = [read word :: Int | word <- words str]
    let a = head inputs
    let b = head $ tail inputs
    let c = head $ tail $ tail inputs

    putStrLn $ ans a b c

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