import Data.Functor

main :: IO ()
main = do
    [a, b, c] <- fmap read . words <$> getLine :: IO [Int]
    case () of
        _ | a < b && b < c -> putStrLn "Yes"
          | otherwise      -> putStrLn "No"

