main :: IO ()
main = do
    line <- getLine
    let nums = map (\n -> read n :: Int) $ words line
    putStrLn $ branchOnCondition nums

branchOnCondition :: [Int] -> String
branchOnCondition [a, b, c]
  | and [a < b, b < c] = "Yes"
  | otherwise          = "No"
