import           Control.Applicative

data Tpl = Tpl {a :: Int, b :: Int, c :: Int}
instance Show Tpl where
  show o | a o < b o && b o < c o = "Yes"
         | otherwise = "No"

readTuple :: IO Tpl
readTuple = do
  ns <- map read . words <$> getLine
  return $ Tpl (head ns) (last $ take 2 ns) (last $ take 3 ns)

main = readTuple >>= print

