import qualified Data.ByteString.Char8         as BC
import           Data.Maybe                     ( fromJust )
import           Control.Applicative

readInts :: IO [Int]
readInts = map (fst . fromJust . BC.readInt) . BC.words <$> BC.getLine

check :: [Int] -> String
check [a, b, c] | a < b && b < c = "Yes"
                | otherwise      = "No"
main :: IO ()
main = readInts >>= putStrLn <$> check

