main = do
	cs <- getLine
	let a:b:c:_ = toIntList cs
	putStrLn $ showAnswer a b c

toIntList :: String -> [Integer]
toIntList = map read . words

showAnswer :: Integer -> Integer -> Integer -> String
showAnswer a b c
	| a < b && b < c = "Yes"
	| otherwise = "No"
