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

process.stdin.on('data', function (chunk) {
     var line= chunk.split(' ');
    

 if( Number(line[0]) < Number(line[1]) && Number(line[1]) < Number(line[2]) ) {
    console.log( 'Yes' );
  } else {
    console.log( 'No' );
  }
});