import Control.Applicative

hanni :: Int -> Int -> Int -> String
hanni a b c 
	| a < b && b < c = "Yes"
	| otherwise = "No"

main = do
	[a,b,c] <- map read . words <$> getLine
	putStrLn $ hanni a b c
