import Control.Applicative

main = do [a,b,c] <- (map read) . words <$> getLine
          putStrLn $ if solve a b c then "Yes" else "No"

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