'use strict';
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<c) { 
  	console.log('Yes');
  }
  else {
  	console.log('No');
  }
  

});
process.stdin.resume();
process.stdin.setEncoding('utf8');