import Data.List.Split

main = do
  ss <- getLine
  let ns = map (\x -> read x :: Int) $ splitOn " " ss
  let ans = if (ns!!0 < ns!!1) && (ns!!1 < ns!!2) 
              then "Yes"
              else "No"
  putStrLn ans
