import Control.Applicative

data YesNo = Yes | No deriving (Show)

solver :: Int -> Int -> Int -> YesNo
solver a b c
  | a < b && b < c = Yes
  |otherwise       = No

main :: IO()
main = do
  (a:b:c:_) <- map (read :: String -> Int) . words <$> getLine
  print $ solver a b c