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

process.stdin.on('data', function (chunk) {
     var line= chunk.split(' ');
     a = Number(line[0]);
     b = Number(line[1]);
     c = Number(line[2]);

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