
process.stdin.on('data', function(chunk) {
  var inputs = chunk.toString().trim().split(' ');
  var a = Number(inputs[0]);
  var b = Number(inputs[1]);
  var c = Number (inputs[2]);
  if (a<b && b<c ){
  	console.log('Yes');
  }else{
  	console.log('No');
  }
  // ????????????????????????
});
process.stdin.resume();
process.stdin.setEncoding('utf8');