main :: IO ()
main = do
    line <- getLine
    putStrLn $ eval (parseInts line)

parseInts :: String -> [Int]
parseInts line = map (\x -> read x :: Int) $ words line

eval :: [Int] -> String
eval [x, y, z]
    | x < y && y < z = "Yes"
    | otherwise      = "No"