module Main where
import Control.Applicative((<$>))


main :: IO ()
main = do
  (a:b:c:_) <- (map atoi ) <$> words <$> getLine
  putStrLn $ solve a b c
  where
    atoi x = read x :: Int
 

solve  :: Int -> Int -> Int -> String
solve a b c = if (a < b) && (b < c)
                 then "Yes"
                 else "No"