process.stdin.resume()
process.stdin.setEncoding('utf8')
process.stdin.on('date', function(input) {
  var result = input.split(' ').map(Number).reduce(compare)
  out(result)
})

var compare = function(a, b, c) {
  if (a < b && b < c) {
    console.log('Yes')
  } else {
    console.log('No')
  }
}

var out = function(x) {
  console.log(x)
  return x
}