import Control.Applicative

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

stoi :: String -> Int
stoi str = read str :: Int