import           Control.Applicative
import           Control.Monad
import           Data.List

main :: IO ()
main = do
  a:b:c:_ <- (map read . words) <$> getLine
  putStrLn $ compareThreeInt a b c

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