process.stdin.resume()
process.stdin.setEncoding('utf8')
process.stdin.on('data', function(y) {
  var value = y.split(' ').map(Number)
  var a = value[0]
  var b = value[1]
  var c = value[2]
  if (a < b && b < c) {
    console.log('Yes')
  } else {
    console.log('No')
  }
})