import Control.Applicative

solve :: [Int] -> String
solve (a:b:c:_)
    | a < b && b < c = "Yes"
    | otherwise = "No"

main :: IO()
main = do
    str <- map read . words <$> getLine
    putStrLn $ solve str