import Control.Applicative ((<$>))
import Data.Maybe (fromJust)
import qualified Data.ByteString.Char8 as B

readInts :: IO [Int]
readInts = map (fst . fromJust . B.readInt ) . B.words <$> B.getLine

main :: IO ()
main = do
  (x:y:z:_) <- readInts
  if x < y && y < z then putStrLn "Yes"
                    else putStrLn "No"
