process.stdin.resume();
process.stdin.setEncoding('utf8');
 
var input_string = "";
var reader = require('readline').createInterface({
  input: process.stdin,
  output: process.stdout
});
reader.on('line', (line) => {
  input_string = line;
});
reader.on('close', () => {
  const array = input_string.split(/\s/).map(x => Number(x));
  const a = array[0];
  const b = array[1];
  const c = array[2];

  if(a < b && b < c){
    console.log('Yes');
  } else {
    console.log('No');
  }
});


