import Control.Applicative

toInt ::String -> Int
toInt x=read x :: Int

ans :: (Int,Int,Int) -> Bool
ans (a,b,c)= a<b && b<c

main :: IO()
main = do
    [a,b,c] <- map toInt <$> words <$> getLine
    putStrLn (if (ans (a,b,c)) then "Yes" else "No")
