main = do
    line <- getLine
    let (a:b:c:_) = map read . words $ line :: [Int]
    putStrLn $ solve a b c
        where solve a b c
               | a < b && b < c = "Yes"
               | otherwise = "No"